实际系统输出的确定

在实际测试中,系统存在有非线性.同时,还有测量噪声及非测量输入引起的系统输出。这些因素都对系统的输出产生影响。把这些因素均假设为系统的非线性,利用理想线性系统和相干函数,推导出了实际系统输出,同时讨论了用这种方法提高载荷识别精度的问题。     

用于减少远程Cache访问延迟的最后一次写访问预测方法

为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。     

基于三对Bell态纠缠交换的QDKD方案

提出了一种基于三对Bell态纠缠交换的量子确定性密钥分发方案(Quantum Deterministic Key Distribution,QDKD),该方案充分利用量子纠缠交换的原理,通过对三对Bell态进行纠缠、测量操作,并辅以经典信息实现确定性密钥的分发,方案中任何窃听行为都会被及时发现。同基于两对Bell态纠缠交换的QDKD方案相比,协议利用三对Bell态并使用两种方法实现确定性密钥信息的分发。分析结果表明,方案仅用到两粒子纠缠态,没有涉及任何幺正操作,操作性强,密钥分发效率高。     

2014nccet：一种新的用于减少远程Cache访问延迟的最后一次写访问预测方法*

为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

双线性表面建模电大目标RCS仿真

目标的电磁散射特性研究对于实现雷达探测、识别、跟踪目标起着至关重要的作用,而雷达散射截面(Radar Cross Section,RCS)又是体现目标电磁散射特性的一个重要方面.参数曲面能精确模拟目标的几何外形,提高计算精度.采用参数曲面——双线性表面建模,运用物理光学(Physical Optics,PO)法计算电大...     

GENDER AWARENESS IN RESEARCH AND POLICY MAKING

Abstract

There is an assumption that we can enhance peacebuilding by improving the tools that we use for assessments, planning and evaluation. However, the focus on tools creates the impression that peacebuilding challenges are technical. Improving tools is not meaningless, but our preoccupation with tools has a negative effect when it becomes a front for avoiding dealing with the deeper inherent contradictions in peacebuilding. There are limits to our knowledge and our ability to engineer specific outcomes in complex systems. There are unrealistically high expectations of coherence, unity of purpose and cooperation among peacebuilding actors. Peacebuilding agents are interconnected, but that does not imply that they have the same objectives, mandates, principles and values. Interconnected problems call for interconnected responses, not for one coherent response. Coherence should not be about negotiating a common position, and then promoting it regardless of changing dynamics. Coherence should be about continuously managing competing interests and interdependencies. The interaction between dissention, competition for resources, and the tension between different approaches and policy choices is not only normal but necessary to ensure the optimal functioning of the system.     

The virtual dimension of contemporary insurgency and counterinsurgency

This paper looks at the virtual dimension of contemporary insurgency and counterinsurgency. It argues that the West is faltering in the ‘War of Ideas’ with global Jihad for the main reason that the messages that we wish to convey lack narrative coherence. This is a result of the fact that we misapprehend the nature of the virtual operational environment whereas our opponents possess an intuitive grasp of it as a result of which their structure and method of operations are better adapted and more effective than our own. There is no reason, beyond inertia, that this should remain the case.     

基于信息论的C3I系统决策性能的评价

信息熵是描述信息系统的一种比较成功的方法.采用信息论的方法对决策系统进行描述,在考虑了决策者的有界合理性限制和达到满意性能指标的要求下,分析了单人指挥决策系统的系统性能,并在此基础上分析了多人指挥决策系统的系统性能,最后得出采用决策系统的误差概率P和相互一致性度量Q作为评价C3I系统决策性能标准的结论.     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。